连续时间马尔可夫链相关论文
认知无线电技术是解决快速发展的无线应用和低效的固定频谱分配方式之间矛盾的一种有效手段。然而主用户的抢占式优先权以及空闲信......
概率模型检测是一种形式化的验证方法，它首先将目标系统建模成一个概率模型，并用概率时序逻辑刻画要验证的属性，然后判定模型是否满足......
随着互联网发展规模越来越庞大,网络空间安全形势正在面临着严峻的挑战,新型攻击方式层出不穷,攻防双方的对抗从未停止。传统防御......
随着现代计算机系统的发展,一些复杂的系统已经很难用传统排队网络理论进行性能分析。比如多状态变速服务的无线信道、志愿计算系......
生存性指系统在攻击、故障的情况下继续提供关键性服务的能力。无线传感器网络(WSN，Wireless Sensor Networks)易受攻击、易发生故......
随着传感器技术的快速发展，传感器网络在各个领域的应用也越来越广泛。由于传感器通常部署在无人值守、条件恶劣的环境中，导致传感器......
面向订单(Made to Order，MTO)型单件生产企业在现代工业中占有非常重要的地位。作为订货式生产，MTO型企业在生产过程中充满了各种随......
本文主要针对电信呼叫损失问题,提出了Petri网优化模型,并采用连续时间马尔可夫链和Petri网相结合的方法对模型进行了模拟、分析和......
分析了现有主动式恢复方法的实现方式,并通过连续时间马尔可夫链(CTMC)对端到端恢复和本地恢复两种方式进行了建模和分析。在理论......
为了用最快的速度修复桌面虚拟化软件服务器故障,对服务器冗余系统深入研究,提出一种桌面虚拟化软件服务器冗余故障自修复方法。基......
无线传感器网络的生存性已成为部署传感器网络的一个重要考量因素。可生存的无线传感器网络要求在多种攻击并发的情况下能够继续提......
针对运输批量是变量、具有储运单元的柔性流水车间模型,建立了有限缓存的开排队网模型来描述该问题。依据离散马尔科夫过程的原理,......
...
随机Petri网（SPN）可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系......
针对认知无线电网络,提出了一种将被动式频谱切换与主动式频谱切换相结合的混合频谱切换算法。该算法基于主用户信道的连续时间马......
目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在......
AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基......
采用连续时间马尔可夫链对主用户系统和认知系统的认知-传输过程进行建模.在此模型基础上,分析构建了次用户到达率、检测概率与频......
给出了一个判定基于随机Petri网（SPN）的乘积形式解存在的定理.利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据......
为了有效评价具有一般工期与随机返工的耦合设计任务评审策略,基于相型分布和连续时间马尔可夫链构建了项目完工时间概率分布估算......
采用连续时间马尔可夫链对多信道非理想感知条件下的认知无线电系统进行建模,构建不同状态间的跳转率、系统检测率以及用户到达率......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
在金融学第三次变革和我国银行业竞争不断加剧的双重背景下,基于现有信用组合风险模型存在缺陷的理论需要和安然、世界通信、帕马......
为了提高路由器系统的可用性,系统地分析了双冗余结构路由器的高可用性实现方式,将其故障恢复方式分为协议扩展、状态同步和数据复......
模具是现代制造业的重要基础,而模具设计又是模具制造的起始阶段。模具设计过程中充满了各种随机不确定因素,其新产品设计研发项目......
介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评......
抗毁性是指系统在出现故障或遭受攻击时,能够及时地完成其关键服务的能力。抗毁性不仅是网络的一个基本性质,也是衡量一个国家政治......
针对具有自动装卸搬运机器人的制造单元,着重考虑其双重资源约束的特点,提出了该系统的有限缓冲开排队网的建模方法。根据工件的加......
针对订货型单类型工件柔性流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间马尔可夫随机过......
针对订货型单类型工件多级流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间Markov随机过程......
